英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
AMD Alveo媒体加速产品组合SDK 1.2.1发布
格兰仕光波空调：抵御流感空气传播—万维家电网
TCL胡立宪：空调决战 “专”者为王—万维家电网
空调365全节能技术 一年省电3000多元—万维家电网
“自立娃”吃出浅表性胃炎推荐文章
-
在现代工业自动化领域，光电传感器因其高精度、快速响应和非接触式检测等优点而被广泛应用于各种自动化系统中。光电传感器能够检测物体的存在、位置、形状、颜色等特性，是实现自动化控制和监测的关键组件。一、光电
...[详细]
-
今年9月份，本市将正式出台《变频空调能效限定值及分级标准》，将第一次明文规范“鱼目混杂”的变频空调市场，这在全国还是首次。记者昨天从市经委节能处获悉，从去年7月份开始，本市率先“酝酿”此标准，但由于专
...[详细]
-
日前，素有家电“价格杀手”之称的奥克斯，为其进军手机行业举行了一场别开生面的“价格听证会”，让消费者和商家为奥克斯手机确定售价。当奥克斯通讯全国市场总监李晓龙将一款市场价高达4000多元的同类奥克斯手
...[详细]
-
从8月底到现在，2006年空调冷冻年度开盘已有1个多月的时间。然而，近日在各大卖场看到，空调的销售出现买卖市场两清淡的局面。业内人士估计，上个冷冻年度空调行业库存超过了1000万台，在库存和企业自身经
...[详细]
-
RJ45转接头的用途网络连接：RJ45转接头可以将RJ45接口的设备如电脑、路由器、交换机等）连接到其他类型的接口，如RJ11电话线接口）或USB接口。设备兼容性：在不同设备之间进行网络连接时，可能需
...[详细]
-
“ＰＫ”原为电玩界的一个术语：玩家互杀。半年前连阿谦也不知道何解。不过“超女”风刮过，连街上的老大娘都知道“ＰＫ”了。今年空调“ＰＫ”的是价格，明年呢？美的和海信都说：“是变频！” “大腕”
...[详细]
-
2不仅仅等于1＋1，随着美的第III代数码涡旋中央空调的横空出世，2更意味着空间的无限可能和生活质量的革命提升。金秋十月，美的宣布“美的数码动力2+行动”全面启动, 带来中央空调全新的舒适体验。美的第
...[详细]
-
广泛适用于北方寒冷地区家庭用户和新增住宅采暖需求、在超低气温下制热效果优越并十分节能省电的新型空调———超低温多联中央空调，昨天(05年11月7日)在格力电器000651）宣告研制成功。 专家介绍说，
...[详细]
-
各行各业中，精度一直是企业和用户最为关注的核心指标之一。随着技术的不断发展和市场需求的日益多样化，现有的探针座产品精度已经逐渐难以满足测试中对高质量和高性能的追求。为解决用户在实际应用中因精度不足而带
...[详细]
-
从05年9月1日开始执行节能家电行业新标准至今，北京家电卖场上已经基本看不到不达标的家电产品了。但是在一些二、三级城市的家电卖场中，某些家电厂商并没有按照国家相关部委要求将没有节能标识的空调、冰箱撤柜
...[详细]
热点阅读
